منابع مشابه
the problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولthe algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولThe Resolution Width Problem is EXPTIME-Complete
The importance of width as a resource in resolution theorem proving has been emphasized in the work of Ben-Sasson and Wigderson. Their results show that lower bounds on the size of resolution refutations can be proved in a uniform manner by demonstrating lower bounds on the width of refutations, and that there is a simple dynamic programming procedure for automated theorem proving based on the ...
متن کاملStance width influences frontal plane balance responses to centripetal accelerations.
Whenever the body is moving in a curvilinear path, inertial torques resulting from centripetal accelerations act on the body and must be counteracted to maintain stability. We tested the hypothesis that healthy subjects orient their center of mass in the position where gravitational torques offset the inertial torques due to centripetal accelerations. Ten healthy subjects stood on a platform th...
متن کاملOn the dynamic width of the 3-colorability problem
A graphG is 3-colorable if and only if it maps homomorphically to the complete 3-vertex graph K3. The last condition can be checked by a k-consistency algorithm where the parameter k has to be chosen large enough, dependent on G. Let W (G) denote the minimum k sufficient for this purpose. For a non3-colorable graph G, W (G) is equal to the minimum k such that G can be distinguished from K3 in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Atmospheric Sciences
سال: 1999
ISSN: 0022-4928,1520-0469
DOI: 10.1175/1520-0469(1999)056<3167:tfwp>2.0.co;2